w{-}locl($w$; $e$; ${\it e'}$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$w{-}loc($w$; $e$) = w{-}loc($w$; ${\it e'}$) $\in$ Id \& (w{-}time($w$; $e$) $<$ w{-}time($w$; ${\it e'}$))